Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

chore: run all jobs on GitHub #71

Merged
merged 1 commit into from
Oct 20, 2023
Merged

chore: run all jobs on GitHub #71

merged 1 commit into from
Oct 20, 2023

Conversation

vmx
Copy link
Contributor

@vmx vmx commented Oct 18, 2023

For aarch64 we were still using CircleCI, now run all jobs on GitHub.

Also improve the CI a bit:

  • determine MSRV automatically from the Cargo.toml file
  • Update/replace deprecated GitHub actions

@vmx
chore: run all jobs on GitHub
68411e0 
For aarch64 we were still using CircleCI, now run all jobs on GitHub.

Also improve the CI a bit:

 - determine MSRV automatically from the Cargo.toml file
 - Update/replace deprecated GitHub actions
@vmx vmx merged commit d3238ec into master Oct 20, 2023
12 of 13 checks passed
@vmx vmx deleted the update-ci-202310 branch October 20, 2023 22:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@Stebalien Stebalien Stebalien approved these changes

@DrPeterVanNostrand DrPeterVanNostrand Awaiting requested review from DrPeterVanNostrand

@cryptonemo cryptonemo Awaiting requested review from cryptonemo

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@vmx @Stebalien